The 116 reducts of (Q, <, a)

نویسندگان

  • Markus Junker
  • Martin Ziegler
چکیده

This article aims to classify those reducts of expansions of (Q, <) by unary predicates which eliminate quantifiers, and in particular to show that, up to interdefinability, there are only finitely many for a given language. Equivalently, we wish to classify the closed subgroups of Sym(Q) containing the group of all automorphisms of (Q, <) fixing setwise certain subsets. This goal is achieved for expansions by convex predicates, yielding expansions by constants as a special case, and for the expansion by a dense, co-dense predicate. Partial results are obtained in the general setting of several dense predicates.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Efficient Generation of Reducts and Discerns for Classification

GRAHAM, JAMES T., M.S., June 2007, Electrical Engineering and Computer Science EFFICIENT GENERATION OF REDUCTS AND DISCERNS FOR CLASSIFICATION (116 pp.) Director of Thesis: Janusz A. Starzyk The intent of this thesis is to improve on existing algorithms for determining classification rules by reducing the computational time to generate the reducts of an information system. Determining all reduc...

متن کامل

A distinct numerical approach for the solution of some kind of initial value problem involving nonlinear q-fractional differential equations

The fractional calculus deals with the generalization of integration and differentiation of integer order to those ones of any order. The q-fractional differential equation usually describe the physical process imposed on the time scale set Tq. In this paper, we first propose a difference formula for discretizing the fractional q-derivative  of Caputo type with order  and scale index . We es...

متن کامل

Expositing stages of VPRS analysis in an expert system: Application with bank credit ratings

The variable precision rough sets model (VPRS) along with many derivatives of rough set theory (RST) necessitates a number of stages towards the final classification of objects. These include, (i) the identification of subsets of condition attributes (b-reducts in VPRS) which have the same quality of classification as the whole set, (ii) the construction of sets of decision rules associated wit...

متن کامل

Designing of on line intrusion detection system using rough set theory and Q-learning algorithm

Development of an efficient real time intrusion detection system (IDS) has been proposed in the paper by integrating Q-learning algorithm and rough set theory (RST). The objective of the work is to achieve maximum classification accuracy while detecting intrusions by classifying NSL-KDD network traffic data either ‘normal’ or ‘anomaly’. Since RST processes discrete data only, by applying cut op...

متن کامل

Towards Scalable Algorithms for Discovering Rough Set Reducts

Rough set theory allows one to find reducts from a decision table, which are minimal sets of attributes preserving the required quality of classification. In this article, we propose a number of algorithms for discovering all generalized reducts (preserving generalized decisions), all possible reducts (preserving upper approximations) and certain reducts (preserving lower approximations). The n...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Symb. Log.

دوره 73  شماره 

صفحات  -

تاریخ انتشار 2008